Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
841	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-21 09:41:27 Data types Type theory ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
842	Tarski Lectures: Compact spaces, definability, and measures in model theory Anand Pillay University of Leeds Berkeley, April 6th, 8th, and 10th, 2009 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:21 Metalogic Structure Compactness theorem O-minimal theory Type First-order logic Stable theory Beth definability Definable real number Model theory Mathematical logic Logic
843	Essays of an Information Scientist: Science Literacy, Policy, Evaluation, and other Essays, Vol:11, p.129,1988 Current Contents, #18, p.3-11, May 2,1988 EUGENE GARFIELD INSTITUTE FOR SCIENTIFIC Add to Reading List Source URL: garfield.library.upenn.edu Language: English - Date: 1999-10-01 15:14:19 Condensed matter physics Johannes Georg Bednorz Type-II superconductor Heavy fermion High-temperature superconductivity BCS theory Physics Superconductivity Matter
844	Learning and doing scalac transformations the easy way: via unparsing c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 16th , 2010 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-07 02:34:06 Data types Type theory C++ Method Java platform Scala Constructor C++ classes Type system Computing Software engineering Computer programming
845	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
846	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
847	1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-21 10:50:57 Data types Computer programming Object-oriented programming Primitive types Programming paradigms Type system Subtype polymorphism Soundness Reference Software engineering Type theory Computing
848	The mixin phase c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia October 10th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-09 04:22:14 Object-oriented programming Interfaces Type theory Mixin Java programming language Mutator method Trait Method Class Software engineering Computing Computer programming
849	The Hand Held Pendant Controller is a revolutionary idea. This pendant can be part of a complete machine tool controller for any type of machine control application. The concept is to provide a system with the Hand Held Add to Reading List Source URL: www.cnccontrols.com Language: English - Date: 2014-12-31 19:58:25 Controller Control theory Science Technology Engineering Computer-aided engineering Numerical control G-code
850	The Sheffer Box Juliet Floyd, Boston University UC Berkeley Logic Group, Sheffer’s Teachers, Colleagues, Students (in bold) LotzeWm. James) Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-11-14 18:55:18 Analytic philosophy Analytic philosophers Mathematical logic Principia Mathematica Gottlob Frege Type theory Logic Philosophy of mathematics Sheffer Philosophy Mathematics Henry M. Sheffer

UPDATE